<?php
// xxx yyy zzz a b c d e f g
